| 1 | Robert Nilsson and A. Jefferson Offutt and Jonas Mellin
Test Case Generation for Mutation-based Testing of Timeliness
Proceedings of the 2nd Workshop on Model Based Testing (MBT 2006)Vienna, Austria, 25-26 March 2006. |
|
| | Abstract: Temporal correctness is crucial for real-time systems. Few methods exist to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution order in turn depends on execution environment properties such as scheduling protocols, use of mutual exclusive resources as well as the point in time when stimuli is injected. Model based mutation testing has previously been proposed to determine the execution orders that need to be verified to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation to generate test cases. |
| | @INPROCEEDINGS{NilssonOM06,
author = {Robert Nilsson and A. Jefferson Offutt and Jonas Mellin},
title = {Test Case Generation for Mutation-based Testing of Timeliness},
booktitle = {Proceedings of the 2nd Workshop on Model Based Testing (MBT 2006)},
year = {2006},
address = {Vienna, Austria},
month = {25-26 March},
pages = {97-114}
} |
| 2 | Robert Nilsson and A. Jefferson Offutt and Sten F. Andler
Mutation-based Testing Criteria for Timeliness
Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)Hong Kong, China, 28-30, September 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{NilssonOA04,
author = {Robert Nilsson and A. Jefferson Offutt and Sten F. Andler},
title = {Mutation-based Testing Criteria for Timeliness},
booktitle = {Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)},
year = {2004},
address = {Hong Kong, China},
month = {28-30, September},
pages = {306-311}
} |
| 3 | Robert Nilsson and Jeff Offutt and Sten F. Andler
Mutation-Based Testing Criteria for Timeliness
28th International Computer Software and Applications Conference {(COMPSAC} 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{nilsson_other_04,
author = {Robert Nilsson and Jeff Offutt and Sten F. Andler},
title = {Mutation-Based Testing Criteria for Timeliness},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC} 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings},
year = {2004},
address = {},
month = {},
pages = {306--311}
} |
